CARMEN: A framework for the verification and diagnosis of the specification of security requirements in cyber-physical systems

In the last years, cyber-physical systems (CPS) are receiving substantial mainstream attention especially in industrial environments, but this popularity has been accompanied by serious security challenges. A CPS is a complex system that includes hardware and software components, with different suppliers connection protocols, forcing data management storage. For reason, construction, verification diagnosis of become major challenge, which involves correct specification requirements, configurations, if necessary, to detect features be modified obtain configuration. paper, we propose framework for according possible configurations CPS. The based on requirements their analysis supported Model-Driven Engineering Software Product Line (SPLE) approaches. To illustrate usefulness, proposal applied an Agriculture 4.0 scenario automated hydroponic cultivation.